Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
type inference
1 ?
 21,213,375 websites (safe search)

  1. merd's home page

    merd = Ruby -like expressivity + static type checks (a la Haskell ) 09/01/2003 This project is currently on hold. Nothing is really usable yet, though quite a ...
    free software2
    scripting2
    programming language1
    OCaml1
    overloading1
    mix-ins1
    parametric polymorphism1
    type classes1
    type inference1
    bounded quantification0
    first-class types0
    indentation based grouping0
    multi-method0
    open world types0
    soft-typing0
    staged computation0
    structural equivalence0
    subtyping0
    type-indexed rows0
    union types0
    WYSIHIIP0

    merd.sourceforge.net - 2009-04-10

  2. Andreas Hense's Home Page

    Andreas Hense
    programming4
    analysis3
    organization3
    Organisation3
    languages2
    computer science2
    ISO 90002
    object2
    oriented1
    business process reengineering1
    Programmiersprachen1
    objektorientierte1
    formal methods1
    V-Modell1
    type inference1
    Andreas Hense0
    langages orientés objets0
    Typinferenz0

    www.ahense.de - 2009-02-07

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.